Gödel's Theorem and Information

Gödel's Incompleteness Theorems: A Revolutionary View of the Nature of Mathematical Pursuits

The work of the mathematician Kurt Gödel changed the face of mathematics forever. His famous incompleteness theorem proved that any formalized system of mathematics would always contain statements that were undecidable, showing that there are certain inherent limitations to the way many mathematicians studies mathematics. This paper provides a history of the mathematical developments that laid ...

How definitive is the standard interpretation of Gödel's Incom

1 Standard interpretations of Gödel's " undecidable " proposition, [(Ax)R(x)], argue that, although [~(Ax)R(x)] is PA-provable if [(Ax)R(x)] is PA-provable, we may not conclude from this that [~(Ax)R(x)] is PA-provable. We show that such interpretations are inconsistent with a standard Deduction Theorem of first order theories.

Gödel's Incompleteness Theorem and the Philosophy of Open Systems

In recent years a number of criticisms have been raised against the formal systems of mathematical logic. The latter, qualified as closed systems, have been contrasted with systems of a new kind, called open systems, whose main feature is that they are always subject to unanticipated outcomes in their operation and can receive new information from outside at any time [cf. Hewitt 1991]. While Gö...

Gödel's Functional ("Dialectica") Interpretation

A More General Version of the Costa Theorem

In accordance with the Costa theorem, the interference which is independent of the channel input and known non-causally at the transmitter, does not affect the capacity of the Gaussian channel. In some applications, the known interference depends on the input and hence has some information. In this paper, we study the channel with input dependent interference and prove a capacity theorem that n...